Taxonomy Based modeling was applied to describe drivers’ mental models of variable message signs (VMS’s) displayed on expressways. Progress in road telematics has made it possible to introduce variable message signs (VMS’s). Sensors embedded in the carriageway every 500m record certain variables (speed, flow rate, etc.) that are transformed in real time into “driving times” to a given destination if road conditions do not change. VMS systems are auto-regulative Man-Machine (AMMI) systems which incorporate a model of the user: if the (...) traffic flow is too high, then drivers should choose alternative routes. In so doing, the traffic flow should decrease. The model of the user is based on suppositions such as: people do not like to waste time, they fully understand the displayed messages, they trust the displayed values, they know of alternative routes. However, people also have a model of the way the system functions. And if they do not believe the contents of the message, they will not act as expected. (shrink)

Taxonomy Based modeling was applied to describe drivers' mental models of variable message signs (VMS's) displayed on expressways. Progress in road telematics has made it possible to introduce variable message signs (VMS's). Sensors embedded in the carriageway every 500m record certain variables (speed, flow rate, etc.) that are transformed in real time into 'driving times' to a given destination if road conditions do not change. VMS systems are auto-regulative Man-Machine (AMMI) systems which incorporate a model of the user: if the (...) traffic flow is too high, then drivers should choose alternative routes. In so doing, the traffic flow should decrease. The model of the user is based on suppositions such as: people do not like to waste time, they fully understand the displayed messages, they trust the displayed values, they know of alternative routes. However, people also have a model of the way the system functions. And if they do not believe the contents of the message, they will not act as expected. We collected data through interviews with drivers using the critical incidents technique (Flanagan, 1985). Results show that the mental models that drivers have of the way the VMS system works are various but not numerous and that most of them differ from the 'ideal expert' mental model. It is clear that users don't have an adequate model of how the VMS system works and that VMS planners have a model of user behaviour that does not correspond to the behaviour of the drivers we interviewed. Finally, Taxonomy Based Modeling is discussed as a tool for mental model remediation. (shrink)

Biobanks correspond to different situations: research and technological development, medical diagnosis or therapeutic activities. Their status is not clearly defined. We aimed to investigate human biobanking in Europe, particularly in relation to organisational, economic and ethical issues in various national contexts. Data from a survey in six EU countries were collected as part of a European Research Project examining human and non-human biobanking. A total of 147 institutions concerned with biobanking of human samples and data were investigated by questionnaires and (...) interviews. Most institutions surveyed belong to the public or private non-profit-making sectors, which have a key role in biobanking. This activity is increasing in all countries because few samples are discarded and genetic research is proliferating. Collections vary in size, many being small and only a few very large. Their purpose is often research, or research and healthcare, mostly in the context of disease studies. A specific budget is very rarely allocated to biobanking and costs are not often evaluated. Samples are usually provided free of charge and gifts and exchanges are the common rule. Good practice guidelines are generally followed and quality controls are performed but quality procedures are not always clearly explained. Associated data are usually computerised. Biobankers generally favour centralisation of data rather than of samples. Legal and ethical harmonisation within Europe is considered likely to facilitate international collaboration. We propose a series of recommendations and suggestions arising from the EUROGENBANK project. (shrink)

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or $\neg\neg$ are briefly considered.

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

TAPP is a total applicative theory, conservative over intuitionistic arithmetic. In this paper, we first show that the same holds for TAPP+ the choice principle EAC; then we extend TAPP with choice sequences and study the principle EBIa0 . The resulting theories are used to characterise the arithmetical fragment of EL +EBIa0. As a digression, we use TAPP to show that P. Martin-Löf's basic extensional theory ML0 is conservative over intuitionistic arithmetic.

We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg’s modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Gargov, Passy, and Tinchev.

The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation. In (...) answer to these linguistic and computational questions, this book presents a broad range of logical investigations into language and information processing. The topics surveyed include the notion of 'reasonable belief' in commonsense reasoning, perceptual reports in natural languages, and the logic of creation and modification of objects. The book also presents work on the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics and semantic analysis of the information articulation of linguistic statements. This volume exemplifies the abundant development of logical methods and tools in an interdisciplinary context. (shrink)

Metaphors abound in descriptions of the COVID-19 pandemic: it is described, among other things, as a war, a flood, and a marathon. However, not all metaphors may resonate equally well with members...

ABSTRACTThis article introduces the Hyperbole Identification Procedure, a first systematic method for identifying linguistic hyperbole in discourse. We start by comparing existing definitions of linguistic hyperbole. Based on the commonalities shared by these definitions, we provide our operational definition of hyperbole as “an expression that is more extreme than justified given its ontological referent.” The next section argues why it is useful to identify hyperbole, as with metaphor in Metaphor Identification Procedure Vrije Universiteit, at the level of lexical units, and (...) subsequently introduces the steps of HIP. We follow up with two sample analyses of HIP in practice. First, we show how to unitize and analyze one complete sample sentence. Second, we present sample analyses of a number of selected cases. Then we present data showing that HIP can be reliably applied to a sample corpus of Dutch news texts. We end with discussing applications and implications of using HIP in corpus research. (shrink)

Taxonomy Based modeling was applied to describe drivers’ mental models of variable message signs (VMS’s) displayed on expressways. Progress in road telematics has made it possible to introduce variable message signs (VMS’s). Sensors embedded in the carriageway every 500m record certain variables (speed, flow rate, etc.) that are transformed in real time into “driving times” to a given destination if road conditions do not change.VMS systems are auto-regulative Man-Machine (AMMI) systems which incorporate a model of the user: if the traffic (...) flow is too high, then drivers should choose alternative routes. In so doing, the traffic flow should decrease. The model of the user is based on suppositions such as: people do not like to waste time, they fully understand the displayed messages, they trust the displayed values, they know of alternative routes. However, people also have a model of the way the system functions. And if they do not believe the contents of the message, they will not act as expected.We collected data through interviews with drivers using the critical incidents technique (Flanagan, 1985). Results show that the mental models that drivers have of the way the VMS system works are various but not numerous and that most of them differ from the“ideal expert” mental model. It is clear that users don’t have an adequate model of how the VMS system works and that VMS planners have a model of user behaviour that does not correspond to the behaviour of the drivers we interviewed. Finally, Taxonomy Based Modeling is discussed as a tool for mental model remediation. (shrink)

The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules. An algebra of theories TA is presented, with a nonstandard interpretation of the existential quantifier ∃. In TA, the interpolation property of the underlying logic corresponds with the quantifier combination property ∃Σ (...) ∃П S ≡ ∃(Σ ∪ П) S. It is shown how the Modularization Theorem, the Factorization Lemma and the Normal Form Theorem for module expressions can be proved in TA. (shrink)

After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎ $\overset \rightarrow \to{y}(x)$ , so as to form partial functions φ = Ⅎ $y(\overset \rightarrow \to{x}).A(\overset \rightarrow \to{x},y)$ which satisfy $\forall \overset \rightarrow \to{x}z(z=\phi \overset \rightarrow \to{x}\leftrightarrow \forall y(A(\overset \rightarrow \to{x},y)\leftrightarrow y=z))$ . We use (intuitionistic, classical or intermediate) logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that adding (...) function descriptors to a theory based on such a logic is conservative. For theories with quantification over functions, the situation is different: there the addition of Ⅎ yields new theorems in the Ⅎ-free fragment, but an axiomatisation is easily given. The proofs are syntactical. (shrink)

Grace de Laguna was a philosopher working in the first part of the twentieth century on analytic and speculative philosophy, as well as on the psychology and philosophy of language, especially the social function of language. Joel Katzav’s lead essay focuses mainly on the former part of her work, while my commentary focuses mostly on the latter. Katzav shows how her work played a role in the development of analytic philosophy, I try to show how her work played a role (...) in the development of pragmatic linguistics, whose development overlapped with some aspects of analytic philosophy. I situate it in the context of an emerging ‘pragmatic Weltanschauung’ that was embraced by many working in linguistics, philology, philosophy, psychology, anthropology and what would later be called linguistic pragmatics. (shrink)

The concept of self is imbedded in the psychoanalytic theory of object relations. The theory of object relations poses the question of the constitution of the person’s inner life or ‘representational world’. It will be discussed, in what respect the concept of self serves the description of dependency relations, in which the psychic relations of the person to the social and cultural reality are expressed. The significance of the concept of self lies in the explicative role it takes in the (...) portrayal of the individual’s developing participation in human community. (shrink)

Certains désordres somatiques traduisent une fragilité du moi corporel qui remonte aux vécus infantiles précoces. À partir de la thérapie d’un garçon « vomisseur », l’auteur, psychanalyste, montre comment l’introjection pulsionnelle ne peut avoir lieu par ratage des mécanismes de projection dans la relation à un objet primaire à l’étayage défectueux. Si celui-ci est trop pris dans la pathologie de ses propres relations, il rend problématique la possibilité d’introjection et d’identification à un objet interne pare-excitant permettant de psychiser l’excitation, de (...) favoriser l’intrication pulsionnelle et la reprise autoérotique. À sa place, l’incorporation de l’objet renforce la dépendance à cet objet primaire peu étayant. La relation transféro-contretransférentielle, sa capacité de « contenant » au sens de Bion, a contribué à l’élaboration introjective de la pulsionnalité permettant la séparation. (shrink)

Constitution d’un grand corpus d’écrits émergents et novices : principes et méthodes Cette contribution propose une réflexion sur la construction d’un vaste corpus d’écrits qui permet d’approfondir notre compréhension des processus en jeu dans l’accès à la littératie dans sa diversité, au travers de la pluralité des genres et des types discursifs qui la constituent et chez des apprenants de profils divers : enfants/adultes, langue 1 / langue 2, entendants/sourds. La réflexion sur la mise en place de ce corpus s’inscrit (...) dans une perspective fonctionnaliste et énonciative et fait fond sur deux ensembles théoriques complémentaires. Du point de vue de l’acquisition des langues, nous souscrivons à la conception selon laquelle les productions d’apprenants ne constituent pas une déviance par rapport à la norme mais sont des manifestations (idiolectales) de systèmes linguistiques per se dont il s’agit de dégager les normes propres. Du point de vue de la littératie, nous nous inscrivons dans la tradition des travaux, d’inspiration bakhtinienne, qui considèrent l’hétérogénéité comme constitutive de toute production verbale. Ainsi, nous expliquons et justifions nos choix en matière de profils d’apprenants et de tâches rédactionnelles, en relation avec la perspective théorique adoptée, ainsi que les options retenues en matière d’outillage du corpus. (shrink)

La Renaissance commence vraiment avec Pléthon, contemporain de Nicolas de Cues et qui se voulait comme lui romain, mais du point de vue de Constantinople. Pléthon a conçu le modèle d'une constitution qui permettrait à tous les peuples de coexister en paix. Au temps où l'Occident latin est largement aristotélicien, il plaide pour le retour à Platon, l'idéalisme, la théologie affirmative.

Analyser une chanson de tradition orale française dans le cadre d’une thèse de littérature et dans une perspective mythique nécessite une démarche atypique d’autant que cette complainte se décline en plus d’une vingtaine de versions. Ce sujet étant peu traité, il a fallu tout d’abord définir l’objet « chanson de tradition orale », ce qui a eu comme mérite de mettre en relief les différents acteurs ayant présidé à la création de cette notion : folkloristes et médiévistes ont montré les (...) pistes à suivre et jalonné les investigations menées dans le cadre de cette thèse. Grâce à leurs analyses, il a été possible de rendre visibles des critères poétiques spécifiques à la tradition orale et de constituer un corpus représentatif de l’oralité. Il est rapidement apparu qu’une analyse formelle était indissociable d’une quête du sens, de même que croiser les disciplines et pratiquer l’art du comparatisme afin de débusquer à travers contes, légendes et tradition orale un éventuel scénario mythique originel. Face à l’originalité de la complainte, celui‑ci est vite apparu comme réducteur et ce n’est qu’à travers l’étymologie, l’hagiographie et l’onomastique qu’il a été possible d’affiner les analyses et de proposer une interprétation herméneutique. (shrink)

Ectopeptidases are transmembrane proteins present in a wide variety of tissues and cell types. Dysregulated expression of certain ectopeptidases in human malignancies suggests their value as clinical markers. Ectopeptidase interaction with agonistic antibodies or their inhibitors has revealed that these ectoenzymes are able to modulate bioactive peptide responses and to influence growth, apoptosis and differentiation, as well as adhesion and motility, all functions involved in normal and tumoral processes. There is evidence that ectopeptidase-mediated signal transduction frequently involves tyrosine phosphorylation. Combined (...) analyses of gene organization and regulation of ectopeptidases by various physiological factors have provided insights into their structure–function relationships. Understanding the roles of ectopeptidases in pathophysiology may have implications in considering them as therapeutic targets. BioEssays 23:251–260, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

Contrairement à ce que l’on entend généralement par mécénat - la commande d’images, peintes ou sculptées, passée entre deux individus vivants – on propose ici d’en élargir les termes pour y englober une autre modalité de la circulation des biens culturels : l’héritage, particulièrement significatif pour les femmes, qui disposaient souvent d’un important patrimoine artistique sans en avoir été les commanditaires. En examinant la manière dont Blanche de Navarre († 1398), épouse de Philippe VI de Valois et reine douairière pendant (...) près d’un demi-siècle, disposa de ses objets les plus précieux, joyaux et livres, dans un testament exceptionnel par son détail, l’accent est mis sur l’acte de tester comme un moment créateur, sinon d’objets, du moins de faits sociaux. Car, par la distribution savante de ses objets, Blanche construisit, pour ses successeurs, une mémoire, solidifiée dans des choses, des liens unissant les membres épars, vivants ou morts, de sa parenté. (shrink)

Le travail avec les familles ayant une histoire en lien avec la migration nécessite une réflexion et une écoute adaptées. Dans ce contexte a été pensé un dispositif thérapeutique au sein d’un centre médico-psychopédagogique pour accueillir et prendre en compte l’origine culturelle ainsi que la situation transculturelle de ces familles. Cet article relate l’expérience clinique d’une mère et de son enfant autour de contes issus de la tradition orale du Maghreb dans le cadre d’un atelier rassemblant des dyades mères-enfants. Le (...) dispositif a pu restaurer le lien symbolique et dyadique, activer une autorisation à apprendre. La remobilisation des représentations culturelles au travers du conte a joué un rôle essentiel dans la renarcissisation à un niveau individuel pour une (re)construction identitaire. (shrink)

L'élargissement des pratiques professionnelles d'information dépasse le cadre étroit que beaucoup assignent à la documentation. L'approche informationnelle requiert de convoquer les sciences de gestion et la sociologie du travail. L'auteur s'interroge sur la démarche spécifique des sciences de l'information, en proposant une « approche par le document » et une approche « système d'information ».The information environment and its professional practices enlarge the restricted definition of an information spécialist. The gradual change in multifaceted information sciences needs to be acknowledged as (...) these science may make a significant contribution by way of a “document approach” and and "information system” approach. (shrink)

En envisageant la communication dans une perspective anthropologique, Dell Hathaway Hymes a introduit le langage en acte - verbal et non verbal - au coeur de l'analyse sociolinguistique. L'étude du langage qu'il a développée va évoluer d'une « ethnographie de la parole » vers une ethnographie de la communication, ouvrant la voie à une pragmatique et à une anthropologie communicationnelle.Considering the communication from an anthropological perspective, Dell Hathaway Hymes has introduced the language act - verbal and nonverbal - in the (...) heart of sociolinguistic analysis. The study of language he has developed will develop an "ethnography of speaking" to an ethnography of communication, opening the way to a pragmatic and communicative anthropology. (shrink)

Dans les années 1960-1970, deux programmes expérimentaux, Icav , initiée au sein de l'Éducation Nationale, et JTA , associant plusieurs ministères, introduisirent avec succès dans certains collèges et écoles une formation à la lecture critique de l'image. Coopération avec la recherche, interdisciplinarité, pluralité des approches pédagogiques et prise en compte de l'évolution et de la diversité des médias caractérisent ces deux opérations, qui ne furent cependant pas pour autant insérées dans les cursus scolaires officiels.In the years 1960-1970, two experimental programs (...) icav , initiated within the National Education and JTA , involving several departments, successfully introduced in some schools and colleges one training for critical reading of the image. Cooperation with research, interdisciplinarity, multiple pedagogical approaches and taking into account the evolution and diversity of the media characterize these two operations, however, were not so far included in the official school curriculum. (shrink)

Brigitte Bourgeois and Philippe Jockey Gold and Marble: the Gilded Hellenistic Sculptures of Delos p. 331-349 The investigation we are conducting on the polychromy of the Hellenistic sculptures of Delos has enabled us to add to the corpus of gilded marble works and to refine the typology. A visual examination of the sculptures through a video-microscope, combined with an analysis of the remains isolated by this means under X-fluorescence, has revealed the existence of three large types of gold leaf (...) gilding on marble at Delos in around 100 BC: totally gilded statues, works on which the gilding forms only an added colouring to the general polychromy, and works that we propose to call "chrysochromes", which present a singularity not hitherto recognised of a very bright polychromy on the clothed parts associated with gold on the nude parts. Among the number of important results of this enquiry may be counted the revelation of the overall gilding on the Delian copy in the National Museum at Athens of the Polyclitus Diadumenus, carved and gilded in imitation of a gilt bronze or even a gold statue. Such a use of gold leaf gilding on the Delos marbles calls in any case for a reconsideration of the question of the reception in antiquity of such works, as well as of such a success of gold at Delos and no doubt elsewhere in the Greek world in the same period. (shrink)

A psicoterapia domiciliar é uma prática pouco conhecida que, entretanto, adquire importância junto a pacientes com dificuldade de locomoção ou com presença de patologias que dificultem o acesso à hospitais/ clínicas. Tendo em vista a escassez de estudos sobre o tema, este artigo apresenta os resultados de uma pesquisa exploratória sobre o atendimento psicológico domiciliar, realizado com 21 psicólogos da cidade de Curitiba (PR). O objetivo foi identificar o tipo de clientela atendida, quais as abordagens e quais as principais vantagens (...) e desvantagens relacionadas a esse tipo de atendimento. Identificou-se que essa modalidade é mais cômoda para o cliente, mas nem sempre para o profissional. Há predominância de algumas vantagens na psicoterapia realizada em domicílio como manutenção do vínculo terapêutico, maior acesso a informações importantes advindas da observação do ambiente e dos comportamentos espontâneos devido à familiaridade do paciente com o ambiente, o que possibilita novas referências para análise diagnóstica. (shrink)

Comment le concept de genre s’est-il implanté à l’Est, dans les pays de l’ancienne aire d’influence soviétique après la chute du Mur? C’est à cette question innovante que s’attelle Ioana Cîrstocea dans son habilitation à diriger des recherches, remaniée pour en faire cet ouvrage au beau titre — référence à l’écrivaine et journaliste biélorusse Svetlana Alexievitch, Prix Nobel de littérature. S’il est aujourd’hui communément admis dans les sciences humaines et sociales que les idées, les réfé...

«Color siderum ». Η χρύσωσις των ελληνικών πήλινων ειδωλίων κατά την ελληνιστική και ρωμαϊκή εποχή. Η έρευνα που διεξάγεται εδώ και δεκαπέντε χρόνια στο Μουσείο του Λούβρου σχετικά με την πολυχρωμία των ελληνικών πήλινων ειδωλίων επικεντρώθηκε στη μελέτη της τεχνικής της χρύσωσης. Το άρθρο πραγματεύεται ένα σύνολο είκοσι ειδωλίων, που χρονολογούνται από τον 4ο αι. π. Χ. έως το 2ο αι. μ. Χ. και προέρχονται κυρίως από την ηπειρωτική Ελλάδα (Αττική, Βοιωτία) και τη Μικρά Ασία. Γίνεται προσπάθεια, μέσω της εξέτασης (...) των επιφανειακών υπολειμμάτων μετάλλου, να αναγνωριστεί το μέρος της δουλειάς που αναλογεί στο ζωγράφο και/ ή στον επιχρυσωτή. Η ξέταση με βιντεομικροσκόπιο και η μη καταστροφική σωματιδιακή και δομική ανάλυση του φύλλου χρυσού, των στρωμάτων της βάσης και της προετοιμασίας οδηγούν στην αποκατάσταση των βημάτων της διαδικασίας της χρύσωσης και στην αναγνώριση της υψηλής εξειδίκευσης των εργατών. Η μελέτη αυτή επιτρέπει την επανεξέταση της σημασίας των έργων. (shrink)

Chez Nietzsche, le terme d’« individu » se définit en contrepoint, non du « troupeau », mais de la société hiérarchique dont la Grèce antique, l’Inde des castes et la France d’Ancien R égime constituent les archétypes omniprésents dans son œuvre. Ainsi s’élabore une conception « archaïsante » de l’individu et de la communauté qui inspire une analyse de la modernité démocratique tout à la fois très traditionnelle et profondément originale. Nietzsche, en effet, reprend les thèmes de la vulgate conservatrice (...) et les diatribes, récurrentes chez de nombreux auteurs du XIXe siècle, contre l’âge philistin. Mais ce qui fonde son originalité, c’est la relation conceptuelle qu’il établit entre la démocratie, appréhendée au sens politique de démocratie libérale représentative, mais aussi et surtout au sens sociologique d’égalité juridique des individus, et l’individualisme né du christianisme, c’est-à-dire le postulat d’un sujet égal en droits à ses semblables. Il dessine une vision cohérente de la modernité dont le principe générateur n’est autre que le principe d’égalité, fondement du christianisme et de la pensée démocratique, utilitariste et orientée vers la rationalité économique, laquelle génère ses propres idoles, nationalisme, antisémitisme, anarchisme, socialisme, fruits pervers d’un désenchantement du monde qui substitue à l’ordre hiérarchique l’indifférenciation égalitaire. L’hostilité qu’il manifeste à l’encontre de l’individualisme des sociétés modernes s’interprète à la lumière du processus d’acculturation à la modernité d’une société allemande en voie de démocratisation, dans laquelle les structures holistes demeurent plus prégnantes qu’en France et Grande-Bretagne. (shrink)